package de.graph.document;

import java.util.Collection;

import de.graph.document.impl.DocumentKey;


public interface DocumentManager {

    public void addDocument(Document document);

    public void removeDocument(Document document);
    
    public Document getDocument(DocumentKey key);

    public Collection<Document> getDocuments();

    public void clear();
}
